Формальные теории
(Сравнение формальных теорий; Формальные силлогистики)


 О направлении Сравнение формальных теорий. Формальные силлогистики

 Информационная система по формальным теориям на theo.ru (2003-2005)

 Кандидатская диссертация "Структурные описания множеств формальных теорий (на материале формальных силлогистик)" (2008).

Последние публикации по теме
(2004-2007, 2015)

О выделении и сравнении теорий в языке с одной связкой или одним предикатором (на примере теорий одной силлогистической связки) (тезисы, 2015)
 К вопросу об историко-логической адекватности реконструкции В.А. Смирновым силлогистических теорий Н.А. Васильева (тезисы, 2007)
 Теория С2.1 В.А. Смирнова в универсуме формальных силлогистик (тезисы, 2006)
 Соотношение формальных силлогистик в языке с предикаторами a, e, i (тезисы, 2004)

Основные результаты по теме
(2002-2003)

 Систематизация и количественный анализ множества формальных силлогистик с простыми "общими" термами (pdf, 434 kb)
Формально-историческое исследование нескольких групп формальных силлогистик (статья, 2003)

Толерантность математического мышления и систематизация логических теорий (статья, pdf, 193 kb)

Структурный анализ и классификация формальных силлогистик: языковые аспекты (презентация в Power Point) (2003)
 Принципы построения структурных описаний множеств формальных теорий (тезисы, 2003)
Множество формальных силлогистик с простыми "общими" термами (структурное описание и количественный анализ) (статья, 2002)

Проработка парадигмы
(2002)

Принципы построения математического структурно-системного описания предмета современной символической логики (тезисы)
Структурные классификации формальных теорий (тезисы)
О работе по системному математическому описанию предмета современной символической логики (тезисы)
Методы классификации формальных теорий и множество силлогистик (статья, pdf, 226 kb)

Работы на основе диплома
(2000-2001)

Классификация силлогистических теорий (тезисы, 2001)
Классификация теорий чистой позитивной силлогистики (статья, 2000)
A Classification of Syllogistics with Simple Posittive Terms (статья, 2000)

Программные продукты

 Информационная система по формальным теориям на theo.ru (2003-2005)
Моделирование логических знаний и знаниевого вывода средствами СУБД (о математических и компьютерных моделях, лежащих в основе Информационной системы по формальным теориям Theo.ru)
Справочный комплекс по языкам формальных силлогистик, работающий в режиме OffLine (2003 г., требуется поддержка VRML).
  1. посмотреть сейчас
  2. скачать zip-архив


Гостевая книга
taras_a_shiyan@mail.ru